Новая философская энциклопедия - пост эмиль леон
Связанные словари
Пост эмиль леон
Соч.: Introduction to a general theory of elementary propositions.— «American Journal of Mathematics», 1921, v. 43, № 3 (Переиздано: From Frege to Godel. Cambr. (Mass.), 1967; Finite combinatory processes — formulation I.— «The Journal of Symbolic Logic», 1936, v. (рус. пер. в кн.: Успенский В. А. Машины Поста. М., 1979); Two-valued iterative systems.— «Annals of Mathematical Studies», 1941, v. 5; Formal reductions of the general combinatorial decision problem.— «American Journal of Mathematics», 1943, v. 65; Recursively enumerable sets of positive integers and their decision problems.— «Bull. Amer. Math. Soe», v. 50, 1944 (Переиздано: The Undecidable, ed. M. Davis. N. Y, 1965); Recursive unsovability of a problem ofThue.— «The Journal of Symbolic Logic», v. 12, 1947 (Переиздано: The Undecidable... 1965)
Лит.: Кдини С. К. Введение в метаматематику. М., 1957; Мальцев А. И. .Итеративные алгебры Поста. Новосибирск, 1976; Яблонский С. В., Гаврилов Г. П., Кудрявцев В. Б. Функции алгебры логики и классы Поста. M.; Davis M. Emil Posts conlributions to computer science.— Proceedings Fourth Annual Symposium on Logic in Computer Science. Wishington, 1989; Dwinger Ph. A survey of the theory of Post algebras and their generalizations.— Modern uses of multiple-valued logic. Dordrecht, 1977.
А. С. Карпенко
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 2285 | |
2 | 1813 | |
3 | 1766 | |
4 | 1758 | |
5 | 1671 | |
6 | 1610 | |
7 | 1523 | |
8 | 1491 | |
9 | 1490 | |
10 | 1470 | |
11 | 1444 | |
12 | 1442 | |
13 | 1420 | |
14 | 1416 | |
15 | 1317 | |
16 | 1289 | |
17 | 1276 | |
18 | 1270 | |
19 | 1262 | |
20 | 1244 |